Infectious Diseases

This article is made available for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.Pulmonary infections are caused by a wide range of pathogenic microorganisms, including bacteria, viruses, fungi, and parasites. The most common lung infections in immunocompetent hosts are caused by pyogenic bacteria (e.g., Streptococcus pneumoniae), common respiratory viruses, and mycoplasma. These infections are usually diagnosed by clinical and microbiologic studies, including cultures and serology tests. Lung biopsy is rarely used in these diagnoses. Patients with life-threatening pneumonia, especially those who are immunocompromised, are more likely to undergo lung biopsy to rule out unusual infections not easily diagnosed using conventional microbiologic methods and for which treatment strategies may be different. Pathogens more likely to be diagnosed using lung biopsy for which there are characteristic pathologic changes are highlighted in this chapter and listed in Table 4.1

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Polymorphisms in gene encoding TRPV1-receptor involved in pain perception are unrelated to chronic pancreatitis

Contains fulltext : 79505.pdf (publisher's version ) (Open Access

Mechanized semantics for the Clight subset of the C language

This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured "switch" statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.Comment: Journal of Automated Reasoning (2009

Mutation analysis of the Gadd45 gene at exon 4 in atypical fibroxanthoma

<p>Abstract</p> <p>Background</p> <p>Atypical fibroxanthoma (AFX) histologically mimics high-grade sarcoma in the skin, although it follows a benign clinical course. AFX occurs in the sun-exposed skin and for this reason, an association with ultraviolet light has long been suspected. Bax and Gadd45 are p53 effector proteins. Bax is a programmed cell death protein and belongs to the Bcl-2 family. Gadd45 is a multifunctional DNA damage-inducible gene associated with the process of DNA damage.</p> <p>Methods</p> <p>Immunohistochemical expression of Bax was analyzed in 7 cases of AFX, and in 7 cases of benign fibrous histiocytoma (BFH) used as a comparison. The expression pattern of Bax was compared to previously reported p53 and Gadd45 expressions in a correspondent series. Mutation of the Gadd45 gene at exon 4 was also analyzed in AFX.</p> <p>Results</p> <p>AFX and BFH showed immunoreactivities respectively for Bax (3/7, 0/7), Gadd45 (4/7, 1/7) and p53 (2/7, 0/7). There was no exact correlation between p53 expression and Bax or Gadd45 expression. However, the pattern of expression between Bax and Gadd45 was also the same, with the exception of one case. No mutation of the Gadd45 gene at exon 4 was observed in a series of 6 AFX cases where DNA was available (0/6).</p> <p>Conclusion</p> <p>These results suggest a possible association between Bax and Gadd45 in AFX, and may refute any possibility of dysfunction of Gadd45 in terms of gene mutation, at least at exon 4 of the Gadd45 gene.</p

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Measurement of the inclusive isolated prompt photon cross-section in pp collisions at sqrt(s)= 7 TeV using 35 pb-1 of ATLAS data

A measurement of the differential cross-section for the inclusive production of isolated prompt photons in pp collisions at a center-of-mass energy sqrt(s) = 7 TeV is presented. The measurement covers the pseudorapidity ranges |eta|<1.37 and 1.52<=|eta|<2.37 in the transverse energy range 45<=E_T<400GeV. The results are based on an integrated luminosity of 35 pb-1, collected with the ATLAS detector at the LHC. The yields of the signal photons are measured using a data-driven technique, based on the observed distribution of the hadronic energy in a narrow cone around the photon candidate and the photon selection criteria. The results are compared with next-to-leading order perturbative QCD calculations and found to be in good agreement over four orders of magnitude in cross-section.Comment: 7 pages plus author list (18 pages total), 2 figures, 4 tables, final version published in Physics Letters

Measurement of the production cross section of prompt j/psi mesons in association with a W (+/-) boson in pp collisions root s=7 TeV with the ATLAS detector

The process pp → W±J/ψ provides a powerful probe of the production mechanism of charmonium in hadronic collisions, and is also sensitive to multiple parton interactions in the colliding protons. Using the 2011 ATLAS dataset of 4.5 fb-1 of p s = 7TeV pp collisions at the LHC, the first observation is made of the production of W± + prompt J/ events in hadronic collisions, using W± → μ and J/ψ → μ+μ-. A yield of 27.4±7.5 -6.5 W± + prompt J/ψ events is observed, with a statistical significance of 5.1. The production rate as a ratio to the inclusive W± boson production rate is measured, and the double parton scattering contribution to the cross section is estimated. Copyright CERN, for the benefit of the ATLAS Collaboration